$\forall$$T$:Type, ${\it eq}$:($T$$\rightarrow$$T$$\rightarrow\mathbb{B}$). IsEqFun($T$;${\it eq}$) $\in$ $\mathbb{P}$